home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / ninepoint.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.0 KB  |  30 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.526676, -0.502052, "1");
  3. v2 = .free(-0.080711, 0.417237, "2");
  4. v3 = .free(0.458276, -0.578659, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. l4 = .l.vlperp(v2, l3, .red, .longline);
  9. l5 = .l.vlperp(v3, l1, .red, .longline);
  10. l6 = .l.vlperp(v1, l2, .red, .longline);
  11. v4 = .v.ll(l1, l5, .red);
  12. v5 = .v.ll(l2, l6, .red);
  13. v6 = .v.ll(l3, l4, .red);
  14. v7 = .v.ll(l6, l4, .red);
  15. v8 = .v.vvmid(v7, v1, .green);
  16. v9 = .v.vvmid(v7, v2, .green);
  17. v10 = .v.vvmid(v7, v3, .green);
  18. v11 = .v.vvmid(v1, v2, .yellow);
  19. v12 = .v.vvmid(v2, v3, .yellow);
  20. v13 = .v.vvmid(v3, v1, .yellow);
  21. c1 = .c.vvv(v10, v9, v8, .magenta);
  22. .text("The Nine Point Circle:");
  23. .text("");
  24. .text("Given an arbitrary triangle 123, the feet of the altitudes");
  25. .text("(in red), the midpoints of the sides (in yellow), and the");
  26. .text("green points that are the midpoints between the intersection");
  27. .text("of the altitudes and the vertices of the triangle all lie on");
  28. .text("the same circle.  Move points 1, 2, and 3 to try different");
  29. .text("triangles.");
  30.